determining output of a digital logic circuit